An algebraic model for the modal logic KD
نویسندگان
چکیده
Deontic logic is a branch of symbolic interested in notions such as obligatory, permissible, optional, ought, and others similar. There are some equivalent ways to present the Standard Logic or KD. In this paper, we will mention them highlight one that interest. With presentation can propose simple algebraic model for Logic.
منابع مشابه
AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملAlgebraic Tools for Modal Logic
Monotone bounded distributive lattice expansions (DLMs) are boundeddistributive lattices augmented by nitary operations that are isotone orantitone in each coordinate. Such algebras encompass most algebras withbounded distributive lattice reducts that arise from logic, and general-ize bounded distributive lattices with operators. We de ne the canonicalextension for DLMs and ...
متن کاملan algebraic structure for intuitionistic fuzzy logic
in this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. it would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. we give the main properties of the operations defined and prove som...
متن کاملModal Logic and Algebraic Specifications
The established approaches to the semantics of algebraic (equational) speciications are based on a category-theoretic perspective. When possible interpretations are viewed as a category, the extreme points|the initial and nal algebras|present themselves as natural candidates for the canonical interpretation. However, neither choice provides a satisfactory solution for incomplete speciications o...
متن کاملan application of fuzzy logic for car insurance underwriting
در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitio
سال: 2022
ISSN: ['1518-7187', '2316-5278']
DOI: https://doi.org/10.23925/2316-5278.2022v23i1:e59916